Specification using Z - Notation Sher

Current World Wide Web means to display pages to end user, while the Semantic Web is a vision of a next-generation network focuses on "Meaning" instead of merely pasting arbitrary text on a page. An intelligent software agents use information to organize and filter data to meet the user's needs. DAML+OIL and Web Ontology Language OWL are the current environments to create Ontology over RDF and XML structures which are used to represent data intelligently among different Ontologies. To assure quality and accurateness in Ontologies in the early design stage, we used the Z-specification which is a formal language based on discrete mathematics such as predicate logic, sets, relations and functions to specify the behavior of Semantic Web. Further, we applied a transformation from schemas written in Z-specification to OWL. The formal specification is described and validated using Z/EVES tool. A fundamental goal of this research is to transform a verified and validated specification to OWL to design Ontologies. [Khan SA, Hashmi AA, Alhumaidan F, Zafar NA. Semantic Web Specification using Z-Notation. Life Sci J 2012;9(4):994-1000] (ISSN:1097-8135). http://www.lifesciencesite.com. 153